Cosas a mostrar

• Verificación automática
• usar code coverage para encontrar tests
• casos de prueba
• test oracles para validar compatibilidad con otras implementaciones

Intro

• Artesania de Software
• Reproducibilidad